cd/entity/FIPS 203· home entities FIPS 203
grep -l @fips 203 /news/*.json | wc -l → 2

@FIPS 203

mentions 2 type Person feed RSS
18:52
2026-05-22
security.apple.com
cybersecurity

A blueprint for formal verification of Apple corecrypto

Apple has published formal mathematical proofs verifying the correctness of its quantum-secure ML-KEM and ML-DSA cryptographic implementations in its corecrypto library, which secures over 2.5 billion…

// co-occurs with top 8 entities